منابع مشابه
T L C S C T F O U L: E F P L L D
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.
متن کاملT F L T C E F L
We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions of a fixed length, and ω-regular languages accepted by Müller automata. We also survey the uncomputability of enumeration of context-free langu...
متن کاملT L C S C F-
A: Well, yes, Yuri asked me if I wanted to write a logic column, and suggested to talk to you for some inspiration. Q: Sure, we can talk. Do you already have an idea what you will write about? A: I was thinking, perhaps I could write about first-order topological properties. Q: I suppose that is first-order as in " first-order logic " , but what's about the topol-ogy? I'm afraid I do not know m...
متن کاملT L C S C F
A new simple construction of an aperiodic tile set based on self-referential (fixed point) argument is proposed. People often say about some discovery that it appeared “ahead of time”, meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, ...
متن کامل+l ( L-L--f.
15 evaluate the correction term for each triple in the left side of table 1, but for brevity of exposition we will evaluate this term only for a sample of each class (T 2 and T 4).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Études britanniques contemporaines
سال: 2010
ISSN: 1168-4917,2271-5444
DOI: 10.4000/ebc.2823